Update documentation to describe new PCI front/back drivers.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 16 Feb 2006 22:47:58 +0000 (23:47 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 16 Feb 2006 22:47:58 +0000 (23:47 +0100)
commitda0c51ab41573a7f913f530440a019f798185463
treea3d4d16107c469ae6dda0b0ed1ba6e0ad274fc3f
parentd70271d48596495cb0b2cf601771b8d4139784a8
Update documentation to describe new PCI front/back drivers.

Update the documentation to include the syntax of "hiding" a PCI
device from domain 0 and for specifying the assignment of a PCI device
to a driver domain. It also includes a brief section exploring some of
the security concerns that driver domains address and mentioning some
of those that remain.

Signed-off-by: Ryan Wilson <hap9@epoch.ncsc.mil>
docs/src/user.tex